1. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
2. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
